Separating Classes in the Exponential-Time Hierarchy From Classes in PH

We are interested in separating classes in the exponential time hierarchy, EXPH, from classes in the polynomial time hierarchy, PH. In this paper we show that, for any xed integer c, the class of sets accepted in deterministic polynomial time using at most O(n c) queries to an NP oracle, P NPO(n c)] , is a proper subset of NEXP. This improves a previous result by Fu, Li and Zhong 7]. Further, we generalize this separation to related levels of PH and EXPH showing that, for any xed integer c and i 1, PO(n c)] i EXP i?1. This improves the long standing separations which result form the relativization of the time hierarchy theorem 9, 6, 17, 3, 1].